오픈소스 프로젝트 Bun의 Rust 코드베이스에서 정의되지 않은 동작(UB)을 유발하는 치명적인 메모리 안전성 버그가 발견되었습니다. Rust의 공식 메모리 검사 도구인 Miri조차 통과하지 못하는 수준의 미숙한 코드가 포함되어 있어, 개발자 커뮤니티에서는 AI가 작성한 코드를 무분별하게 신뢰하고 검수 없이 반영한 결과라는 비판이 제기되고 있습니다.
프로그래머들이 가비지 컬렉션 없이 메모리 안전성을 보장하는 러스트(Rust)의 핵심 기능인 '소유권(Ownership)'을 배울 때 겪는 어려움을 분석하고, 이를 해결하기 위한 체계적인 교육법 설계 과정을 다룬 논문입니다. 개발자들이 흔히 겪는 오개념을 파악하고, 이를 바탕으로 권한(Permissions) 기반의 새로운 개념적 모델을 만들어 교육에 적용한 결과 학습자들의 이해도가 약 9% 향상되었습니다.
최근 화제가 된 C/C++의 메모리 안전 구현체인 Fil-C의 작동 방식을 이해하기 쉽게 소개한 글입니다. 포인터 변수마다 메모리 할당 기록(AllocationRecord)을 추적하여, 컴파일러가 자동으로 바운드 검사(bounds check) 코드를 삽입하는 원리를 코드 변환 예시로 설명합니다. 이를 통해 개발자는 기존 C/C++ 코드를 크게 수정하지 않고도 메모리 안전성을 확보할 수 있습니다.